target_sources(${kernel_target} PRIVATE uart/uart.c)
